Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Libro	Truth, deduction, and computation: logic and semantics for computer science	Davis, Ruth E.		Domicilio	----------